- denumerably infinite species
- исчислимо бесконечный вид
English-Russian scientific dictionary. 2008.
English-Russian scientific dictionary. 2008.
Propositional calculus — In mathematical logic, a propositional calculus or logic (also called sentential calculus or sentential logic) is a formal system in which formulas of a formal language may be interpreted as representing propositions. A system of inference rules… … Wikipedia